package sketch.main;

import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;

public class IllegalSketch {
	
	@TestSketch
	public void testSketch() {
		while(true) {
			Observer.observeExpr("Hello");
			Observer.observeEquality("Hi", "Ho");
		}
	}
	
	@TestSketch
	public void testSketch2() {
		for(int i = 0; i < 10; i++) {
			int ij = Values.symbolicInt();
		}
		
		for(int i : new int[]{2, 3}) {
			int j = Values.symbolicInt();
		}
		
		do {
			Observer.observeExpr(12);
		}while(true);
	}
	
}
